A Petri-Net based Object-Oriented Approach for the Modelling of Hybrid Productive Systems
نویسندگان
چکیده
EMILIA VILLANI, JEAN CLAUDE PASCAL*, PAULO EIGI MIYAGI, ROBERT VALETTE* Instituto Tecnológico de Aeronáutica – Mechanics Department 112 São José dos Campos – SP, Brazil, e-mail: [email protected] Escola Politecnica da Universidade de São Paulo Av. Prof. Mello Moraes, 2231 São Paulo, Brasil, e-mail: [email protected] *Laboratoire d’Analyse et d’Architecture des Systèmes CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France, e-mail: [email protected], [email protected] Abstract: This paper introduces a new approach for the modelling of hybrid productive systems. This approach is based on Petri nets to represent the discrete part, differential equations to describe the continuous part and Object-Oriented paradigm to deal with the complexity problem in real systems. During the modelling process, the Unified Modelling Language (UML) is used in order to support the description of different aspects and identify different hybrid characteristics of the system. The proposed approach is illustrated using as an example the design of supervisory systems for air-conditioning systems. Key-words: hybrid system, Petri nets, productive systems, object-oriented paradigm, modelling.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملInformation Systems Modelling Using Loopn++, an Object Petri Net Scheme
There have been significant recent developments in high level specification schemes for modelling information systems using formalisms based on petri nets. In particular, the application of object-based design principles have produced high level petri nets which can be used to model large complex systems. This paper discusses a new language and modelling scheme, known as LOOPN++, which fully in...
متن کاملDiscrete and Hybrid Systems Dependability Analysis with ESA PetriNet
Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کامل